formal system
英 [ˈfɔːml ˈsɪstəm]
美 [ˈfɔːrml ˈsɪstəm]
网络 形式化系统; 正式的系统; 形式系統; 形式系统; 形式体系
双语例句
- During the development iterations, a subset of stress-related and memory leak defects were removed before the formal system test entry time due to the early testing by the system test core team.
在开发迭代中，由于系统测试核心团队早期的测试，与压力相关的及内存泄漏缺陷的子集在正式的系统测试开始之前就被除掉了。 - Any formal system of reasoning that arrives at the truth by the exchange of logical arguments.
通过交换逻辑论证得出真理的推理形式系统。 - But within this formal system many companies cannot rely on useful boards.
但在这种合乎规范的制度下，许多公司无法依靠有帮助的董事会。 - We need a more formal system to ensure that they cannot be so easily brushed off.
我们需要一种更为正式的系统，以确保它们不会被轻忽。 - This population profile demands that we put in place a formal system of retirement protection in Hong Kong as early as possible.
面对这个人口情况，我们有需要尽早制定一个正式退休保障制度。 - Is there a formal system for investigating failures?
是否有一个正式的故障调查体系？ - Latent Rule in the government administration is an informal system incompatible with the formal system, associating with the exercise of state power.
政府管理中的潜规则就是指存在于政府管理中的与正式制度相悖的非正式制度，跟国家权力的行使相关。 - Is there a formal system for reviewing customer drawings, processes, change orders, purchase orders and contracts etc.?
是否有一个正式的体系来审核顾客图纸、生产规程、订单变更、采购订单和合同等？ - Law is an important part of formal system, and efficient law can provide effective incentive mechanism.
摘要法律是正式制度的重要组成部分，有效率的法律能提供有效的激励机制。 - Is there an adequate and formal system for receiving/ verifying tools and equipment?
是否有一个正式的充分有效的体系来接收/确认工具和设备？ - The system of teaching about the past means that we have a formal system for transmitting our whole legal culture from one generation to the next.
教先例的传统意味着我们有一个正式的制度向下一代传承我们整个的法律文化。 - Through these analyses, we believe that the two's conflict is between the formal system and its environment conflict, can be integrated.
通过这些剖析，本文认为，二者的冲突是正式轨制与其环境之间的冲突，是可以整合的。 - Does the Supplier have a formal system for review and validation of design input requirements?
供应商是否有一个关于设计输入要求的审核与确认体系？ - Incompleteness of formal system
形式系统的不完全性 - Incompleteness of formal system The environment condition for the whole country was still serious.
形式系统的不完全性全国环境形势依然严峻。 - Therefore no formal system is a true axiomatization of full number theory.
因此，没有正式的系统是一个真正的公理化充分一些理论。 - Aides said Washington was hoping to win agreement for a more formal system of accountability, with progress reports between summits to evaluate the extent to which promises had been met.
布什的副手表示，美国政府希望达成一项协议，建立更加正式的责任机制，在峰会之间提供进度报告以评估援助承诺的履行程度。 - This dissertation presents a formal system of cooperation.
提出了一种描述主体协作的形式系统。 - This theorem reveals that there exist undecidable propositions in a consistent formal system.
该定理揭示了在一个相容形式系统中存在着不可判定的命题。 - In a social system structure, the system includes the formal system and the informal one.
在一个社会的制度结构中，制度包括正式制度和非正式制度。 - In order to make the software architectural design more scientific, an appropriate formal system is essential.
为了使软件体系结构的设计有更科学的理论基础，一个合适的形式化系统是必不可少的。 - This paper deals with the formal system of propositional calculus of medium logic ( MP).
本文讨论了中介逻辑命题演算（MP）的形式系统。 - The relation of inference between the formal system w and the formal system SW is also described.
描述了形式系统W与形式系统SW形式推理之间的关系。 - And norm system is divided into unrecorded informal system and recorded formal system.
而把规范系统分为不成文的非正式的规范系统和成文的正式的规范系统两部分进行了分析。 - Distributed Operating System Formal System Model ( DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。 - Currently, the project performance is considering more about the project governance formal system set.
目前，对工程项目绩效的考虑多基于项目治理理论中正式制度的设置。 - From the perspective of generic legal norm, this study takes university statute as a formal system existence.
本文就是从类法律规范的角度，把大学章程作为一种正式制度存在来进行研究的。 - And there is a lack of formal system of training, importing, stability and encouragement of teachers.
并且，在高职院校中缺少正规的教师培养、引进、稳定、使用和激励方面的制度。 - The maintenance of social order is the result of both in formal system and informal system common effect.
任何社会秩序的维护都是正式制度与非正式制度共同作用的结果。 - Through our administrative monopoly and regulatory problems because of the formal system and informal system of analysis of the causes.
通过对我国行政垄断和规制存在问题的正式制度原因和非正式制度原因进行分析。